const Config = imports.misc.config;
const Util = imports.misc.util;
-const A11Y_SCHEMA = 'org.gnome.desktop.a11y.keyboard';
-const STICKY_KEYS_ENABLE = 'stickykeys-enable';
const WELCOME_DIALOG_LAST_SHOWN_VERSION = 'welcome-dialog-last-shown-version';
// Make sure to mention the point release, otherwise it will show every time
// until this version is current
let _startDate;
let _defaultCssStylesheet = null;
let _cssStylesheet = null;
-let _a11ySettings = null;
let _themeResource = null;
let _oskResource = null;
new PointerA11yTimeout.PointerA11yTimeout();
- _a11ySettings = new Gio.Settings({ schema_id: A11Y_SCHEMA });
-
- global.display.connect('overlay-key', () => {
- if (!_a11ySettings.get_boolean(STICKY_KEYS_ENABLE))
- overview.toggle();
- });
-
global.connect('locate-pointer', () => {
locatePointer.show();
});
const SMALL_WORKSPACE_RATIO = 0.15;
const DASH_MAX_HEIGHT_RATIO = 0.15;
+const A11Y_SCHEMA = 'org.gnome.desktop.a11y.keyboard';
+
var SIDE_CONTROLS_ANIMATION_TIME = Overview.ANIMATION_TIME;
var ControlsState = {
},
});
+ this._a11ySettings = new Gio.Settings({ schema_id: A11Y_SCHEMA });
+
+ global.display.connect('overlay-key', () => {
+ if (this._a11ySettings.get_boolean('stickykeys-enable'))
+ return;
+
+ Main.overview.toggle();
+ });
+
Main.wm.addKeybinding(
'toggle-application-view',
new Gio.Settings({ schema_id: WindowManager.SHELL_KEYBINDINGS_SCHEMA }),